Wolfgang Bibel (eds.): search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (14)
Most Popular
List
- List
- Table

1

Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence Applications

Foundations of Knowledge Base Management: Contributions from Logic, Databases, and Artificial Intelligence Applications

Springer-Verlag Berlin Heidelberg

Wolfgang Bibel, Jean-Marie Nicolas (auth.), Joachim W. Schmidt, Constantino Thanos (eds.)

Year:

1989

Language:

english

File:

PDF, 26.07 MB

0 / 0

english, 1989

2

Studien- und Forschungsführer Künstliche Intelligenz

Studien- und Forschungsführer Künstliche Intelligenz

Springer-Verlag Berlin Heidelberg

Prof. Dr. Wolfgang Bibel, Norbert Eisinger (auth.), Prof. Dr. Wolfgang Bibel, Norbert Eisinger, Josef Schneeberger, Prof. Dr. Jörg Siekmann (eds.)

Year:

1987

Language:

german

File:

PDF, 4.78 MB

0 / 0

german, 1987

3

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Springer Netherlands

W. Reif, G. Schellhorn, K. Stenzel, M. Balser (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

Year:

1998

Language:

english

File:

DJVU, 3.89 MB

0 / 0

english, 1998

4

Fundamentals of Artificial Intelligence: An Advanced Course

Fundamentals of Artificial Intelligence: An Advanced Course

Springer-Verlag Berlin Heidelberg

James P. Delgrande, John Mylopoulos (auth.), Wolfgang Bibel, Philippe Jorrand (eds.)

Year:

1986

Language:

english

File:

PDF, 17.47 MB

0 / 0

english, 1986

5

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Automated Deduction — A Basis for Applications: Volume II: Systems and Implementation Techniques

Springer Netherlands

W. Reif, G. Schellhorn, K. Stenzel, M. Balser (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

Year:

1998

Language:

english

File:

PDF, 16.71 MB

0 / 0

english, 1998

6

Automated Deduction — A Basis for Applications: Volume III Applications

Automated Deduction — A Basis for Applications: Volume III Applications

Springer Netherlands

Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

Year:

1998

Language:

english

File:

PDF, 13.25 MB

0 / 0

english, 1998

7

Automated Deduction — A Basis for Applications: Volume III Applications

Automated Deduction — A Basis for Applications: Volume III Applications

Springer Netherlands

Ingo Dahn (auth.), Wolfgang Bibel, Peter H. Schmitt (eds.)

Year:

1998

Language:

english

File:

DJVU, 2.98 MB

0 / 0

english, 1998

8

Fundamentals of Artificial Intelligence: An Advanced Course

Fundamentals of Artificial Intelligence: An Advanced Course

Springer-Verlag Berlin Heidelberg

James P. Delgrande, John Mylopoulos (auth.), Wolfgang Bibel, Philippe Jorrand (eds.)

Year:

1986

Language:

english

File:

DJVU, 2.96 MB

0 / 0

english, 1986

9

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

Springer-Verlag Berlin Heidelberg

Luigia Aiello, Richard W. Weyhrauch (auth.), Wolfgang Bibel, Robert Kowalski (eds.)

Year:

1980

Language:

english

File:

DJVU, 3.71 MB

0 / 0

english, 1980

10

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985

Springer-Verlag Berlin Heidelberg

J. A. Bergstra, J. W. Klop (auth.), Wolfgang Bibel, Klaus P. Jantke (eds.)

Year:

1986

Language:

english

File:

DJVU, 2.88 MB

0 / 0

english, 1986

11

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980

Springer-Verlag Berlin Heidelberg

Luigia Aiello, Richard W. Weyhrauch (auth.), Wolfgang Bibel, Robert Kowalski (eds.)

Year:

1980

Language:

english

File:

PDF, 9.61 MB

0 / 0

english, 1980

12

Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15.–24. März 1982

Künstliche Intelligenz: Frühjahrsschule Teisendorf, 15.–24. März 1982

Springer-Verlag Berlin Heidelberg

Jörg H. Siekmann (auth.), Wolfgang Bibel, Jörg H. Siekmann (eds.)

Year:

1982

Language:

german

File:

PDF, 13.48 MB

0 / 0

german, 1982

13

Wissensbasierte Echtzeitplanung

Wissensbasierte Echtzeitplanung

Vieweg+Teubner Verlag

Jürgen Dorn (auth.), Wolfgang Bibel (eds.)

Year:

1989

Language:

german

File:

PDF, 7.36 MB

0 / 0

german, 1989

14

Automatisierung von Terminierungsbeweisen

Automatisierung von Terminierungsbeweisen

Vieweg+Teubner Verlag

Christoph Walther (auth.), Wolfgang Bibel (eds.)

Year:

1991

Language:

german

File:

PDF, 10.28 MB

0 / 0

german, 1991